1. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
2. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
3. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
4. A logical journey : from Godel to philosophy
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58W32
5. A world without time
پدیدآورنده : / Palle Yourgrau
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Time- History 20th century,Einstein, Albert, 1879-1955,Godel, Kurt
رده :
BD638
.
Y73
2005
6. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
7. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
8. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA9
.
65
.
S6
2007
9. An introduction to Gödel's theorems /
پدیدآورنده : Peter Smith
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical
10. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
11. From Trotsky to Godel : the life of Jean van Heijenoort
پدیدآورنده : Feferman, Anita Burdman, 7291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Van Heijenoort, Jean, 2191-6891,، Trotsky, Leon, 9781-0491 -- Friends and associates,، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- France
رده :
B
2430
.
V36F4
2001
12. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
13. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
14. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
15. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
E-BOOK
16. Godel, Escher, Bach: an eternal golden braid
پدیدآورنده : Hofstadter, Douglas R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Bach, Johann Sebastian,5861-0571,، Escher, M. C.)Maurits Cornelis(,8981-2791,، Godel, Kurt,، Metamathematics,، Symmetry,، Artificial intelligence
رده :
QA
9
.
8
.
H63
1999
17. Godel, Escher, Bach : an eternal golden braid
پدیدآورنده : Hofstadter, Douglas R., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Metamathematics,، Symmetry,، Artificial intelligence,، Bach, Johann Sebastian, 5861-0571,، Escher, Maurits Cornelis, 8981-2791,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
8
.
H63G6
1999
18. Gödel, Putnam, and functionalism :
پدیدآورنده : Jeff Buechner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt.,Putnam, Hilary., Representation and reality.,Gödel-- Kurt.,Gödel, Kurt.,Gödel, Kurt.,Putnam-- Hilary-- Representation and reality.,Putnam, Hilary.,Computers.,Functionalism (Psychology),Mind-brain identity theory.,Realism.,Computers.,Functionalism (Psychology),Mind-brain identity theory.,PHILOSOPHY-- Mind & Body.,Realism.
رده :
B835
.
B865
2008eb
19. Godel, Putnam, and functionalism
پدیدآورنده : Jeff Buechner,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Realism,Godel, Kurt,Putnam, Hilary.- Representation and reality,Functionalism )Psychology(,Mind-brain identity theory,Computers
رده :
B
.
B865
835
2008
20. Godel : a life of logic
پدیدآورنده : Casti, John L., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58C3